Compositionality Made Up
نویسنده
چکیده
This paper develops some methods and techniques for the practical use of compositionality to prove the correctness of modular systems, with reference to the metric temporal logic TRIO. It advocates a “lightweight” approach to compositionality, driven by the specifics of the system under development, where methodology is as important as technical solutions.
منابع مشابه
Compositionality and Modularity in Process Specification and Design: A Trace-State Based Approach
A top down development is presented of a distributed priority queue. The crucial characteristic that enables this development is the compositionality of the formalism used. Actually we argue that a stronger requirement is needed which combines compositionality with the ability to adapt given specifications, called modularity.
متن کاملScaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction
To combat the state-explosion problem in automatic verification, we present a method for scaling up the real-time verification tool Uppaal by complementing it with methods for abstraction and compositionality. We identify a notion of timed ready simulation which we show is a sound condition for preservation of safety properties between realtime systems, and in addition is a precongruence with r...
متن کاملCompositionality, context, and cognition: comment on "Embodied language, best fit analysis, and formal compositionality" by J. Feldman.
Feldman’s project [1] has the ambitious goal of giving a compositional account of the “full range of meanings” in human language, one which meets the high standards of formalization found in formal semantics but is built on a theory of “embodied cognition”, takes into account the neurobiological substrate of language, and makes use of representations of world knowledge and discourse and situati...
متن کاملMay Testing, Non-interference, and Compositionality
This paper uses CSP to introduce a characterisation of non interference in terms of the deductions that may be made about high level processes by low level tests May testing yields classic noninference and has a concise formulation in CSP It is preserved by a wider range of composition oper ators than are normally considered in the context of non interference It turns out that the extensive lis...
متن کاملCars, Compositionality, and Consciousness
compositional and dynamic management of behavior. Continuing some earlier discussions about the link between this kind of neural models and the conscious appraisal of time (Tani 2004), Tani suggests that when anticipation successively predicts the sensorimotor flow during the execution of a familiar behavioral sequence (e.g. driving on a familiar road), there is nothing to be “conscious” about....
متن کامل